time/depth conversion - German English Dictionary